Nuprl Definition : natural_number def
11,40
postcript
pdf
$n is Primitive
latex
clarification:
#$n is Primitive
latex
origin